Algebraic data type - PDFSEARCH.IO - Document Search Engine

Algebraic data type
Results: 119

#	Item
101	Open Pattern Matching for C++ Yuriy Solodkyy Gabriel Dos Reis Bjarne Stroustrup Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2013-10-14 16:06:12 Functional programming C++ Software design patterns Generic programming Type theory Pattern matching Algebraic data type C++11 Template Software engineering Computing Computer programming
102	The Typeclassopedia by Brent Yorgey [removed] The standard Haskell libraries feature a number of type classes with algebraic or category-theoretic underpinnings. Becoming a fluent Haskell hacker requires in Add to Reading List Source URL: www.haskell.org Language: English - Date: 2011-08-16 16:00:20 Computing Data types Adjoint functors Type theory Monad Map Option type Functor Natural transformation Declarative programming Software engineering Functional programming
103	A Hope Interpreter — Reference Ross Paterson April 18, 2000 This manual is not a tutorial on functional programming, or on the language Hope. If you don’t know about both, you might start with something like Roger Ba Add to Reading List Source URL: www.soi.city.ac.uk Language: English - Date: 2000-04-18 09:35:25 Type theory Programming language theory Functional programming C++ Procedural programming languages Algebraic data type ALGOL 68 Variable C++ classes Software engineering Data types Computing
104	Algebraic Reconstruction of Types and Eects Pierre Jouvelot1 2 David K. Giord2 ; Ecole des Mines de Paris1 Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Data types Functional programming Computing Program analysis Type system Vehicle Identification Number Monad Type inference Type theory Software engineering Programming language theory
105	The Rational Numbers as an Abstract Data Type J. A. BERGSTRA University of Amsterdam, Informatics Institute, Amsterdam, The Netherlands AND J. V. TUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2007-04-14 14:30:54 Model theory Algebraic structures Mathematical structures Field theory First-order logic Type Structure Universal algebra John V. Tucker Mathematics Abstract algebra Algebra
106	Why Learn Haskell? Jan van Eijck CWI & ILLC, Amsterdam Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 05:59:51 Functional languages Functional programming Haskell Literate programming Simon Peyton Jones Hope Id Generalized algebraic data type Software engineering Declarative programming Computing
107	J Autom Reasoning manuscript No. (will be inserted by the editor) Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-09-06 11:25:12 Computer science Logic in computer science Dependently typed programming Type theory Programming language semantics Generalized algebraic data type Lambda calculus Denotational semantics Theoretical computer science Software engineering Models of computation
108	Transporting Functions across Ornaments Technical Report Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-03-13 22:34:14 Data types Type theory Dependently typed programming Functional programming Functional languages Inductive data type C++ classes Generic programming Generalized algebraic data type Software engineering Computing Computer programming
109	Let Should Not Be Generalised Dimitrios Vytiniotis Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-11-12 10:54:14 Computing Type class Type inference Type system Hindley–Milner Generalized algebraic data type Kind Parametric polymorphism Constraint Type theory Software engineering Programming language theory
110	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2006-11-24 14:08:53 Models of computation Dependently typed programming Type theory Functional languages Functional programming Generalized algebraic data type Standard ML Lambda calculus Natural deduction Software engineering Declarative programming Computing